package round78;

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

/**
 * User: Samuel
 * Date: 07-22-11
 * Time: 09:01 AM
 */
public class A {
    public static void main(String[] args) throws IOException {
        BufferedReader in = new BufferedReader(new InputStreamReader(System.in));
        String line = in.readLine();
        int dot = line.indexOf('.');
        if (line.charAt(dot - 1) == '9') {
            System.out.println("GOTO Vasilisa.");
            System.exit(0);
        }
        StringBuilder sb = new StringBuilder(line);
        if (line.charAt(dot + 1) < '5') {
            sb.delete(dot, line.length());
        } else {
            sb.setCharAt(dot - 1, (char) (line.charAt(dot - 1) + 1));
            sb.delete(dot, line.length());
        }
        System.out.println(sb.toString());
    }
}
